<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - code analysis - /usr/include/boost/iterator/iterator_facade.hpp</title>
  <link rel="stylesheet" type="text/css" href="../../../../gcov.css">
</head>

<body>

  <table width="100%" border=0 cellspacing=0 cellpadding=0>
    <tr><td class="title">LCOV - code coverage report</td></tr>
    <tr><td class="ruler"><img src="../../../../glass.png" width=3 height=3 alt=""></td></tr>

    <tr>
      <td width="100%">
        <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="35%" class="headerValue"><a href="../../../../index.html">top level</a> - <a href="index.html">usr/include/boost/iterator</a> - iterator_facade.hpp<span style="font-size: 80%;"> (source / <a href="iterator_facade.hpp.func-sort-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="15%"></td>
            <td width="10%" class="headerCovTableHead">Hit</td>
            <td width="10%" class="headerCovTableHead">Total</td>
            <td width="15%" class="headerCovTableHead">Coverage</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">code analysis</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntry">3</td>
            <td class="headerCovTableEntry">3</td>
            <td class="headerCovTableEntryHi">100.0 %</td>
          </tr>
          <tr>
            <td class="headerItem">Date:</td>
            <td class="headerValue">2020-09-11 22:50:33</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntryHi">-</td>
          </tr>
          <tr>
            <td class="headerItem">Legend:</td>
            <td class="headerValueLeg">            Lines:
            <span class="coverLegendCov">hit</span>
            <span class="coverLegendNoCov">not hit</span>
</td>
            <td></td>
          </tr>
          <tr><td><img src="../../../../glass.png" width=3 height=3 alt=""></td></tr>
        </table>
      </td>
    </tr>

    <tr><td class="ruler"><img src="../../../../glass.png" width=3 height=3 alt=""></td></tr>
  </table>

  <table cellpadding=0 cellspacing=0 border=0>
    <tr>
      <td><br></td>
    </tr>
    <tr>
      <td>
<pre class="sourceHeading">          Line data    Source code</pre>
<pre class="source">
<a name="1"><span class="lineNum">       1 </span>            : // (C) Copyright David Abrahams 2002.</a>
<span class="lineNum">       2 </span>            : // (C) Copyright Jeremy Siek    2002.
<span class="lineNum">       3 </span>            : // (C) Copyright Thomas Witt    2002.
<span class="lineNum">       4 </span>            : // Distributed under the Boost Software License, Version 1.0. (See
<span class="lineNum">       5 </span>            : // accompanying file LICENSE_1_0.txt or copy at
<span class="lineNum">       6 </span>            : // http://www.boost.org/LICENSE_1_0.txt)
<span class="lineNum">       7 </span>            : #ifndef BOOST_ITERATOR_FACADE_23022003THW_HPP
<span class="lineNum">       8 </span>            : #define BOOST_ITERATOR_FACADE_23022003THW_HPP
<span class="lineNum">       9 </span>            : 
<span class="lineNum">      10 </span>            : #include &lt;boost/config.hpp&gt;
<span class="lineNum">      11 </span>            : #include &lt;boost/iterator.hpp&gt;
<span class="lineNum">      12 </span>            : #include &lt;boost/iterator/interoperable.hpp&gt;
<span class="lineNum">      13 </span>            : #include &lt;boost/iterator/iterator_traits.hpp&gt;
<span class="lineNum">      14 </span>            : #include &lt;boost/iterator/iterator_categories.hpp&gt;
<span class="lineNum">      15 </span>            : 
<span class="lineNum">      16 </span>            : #include &lt;boost/iterator/detail/facade_iterator_category.hpp&gt;
<span class="lineNum">      17 </span>            : #include &lt;boost/iterator/detail/enable_if.hpp&gt;
<span class="lineNum">      18 </span>            : 
<span class="lineNum">      19 </span>            : #include &lt;boost/static_assert.hpp&gt;
<span class="lineNum">      20 </span>            : #include &lt;boost/utility/addressof.hpp&gt;
<span class="lineNum">      21 </span>            : 
<span class="lineNum">      22 </span>            : #include &lt;boost/type_traits/is_same.hpp&gt;
<span class="lineNum">      23 </span>            : #include &lt;boost/type_traits/add_const.hpp&gt;
<span class="lineNum">      24 </span>            : #include &lt;boost/type_traits/add_pointer.hpp&gt;
<span class="lineNum">      25 </span>            : #include &lt;boost/type_traits/remove_const.hpp&gt;
<span class="lineNum">      26 </span>            : #include &lt;boost/type_traits/remove_reference.hpp&gt;
<span class="lineNum">      27 </span>            : #include &lt;boost/type_traits/is_convertible.hpp&gt;
<span class="lineNum">      28 </span>            : #include &lt;boost/type_traits/is_pod.hpp&gt;
<span class="lineNum">      29 </span>            : 
<span class="lineNum">      30 </span>            : #include &lt;boost/mpl/eval_if.hpp&gt;
<span class="lineNum">      31 </span>            : #include &lt;boost/mpl/if.hpp&gt;
<span class="lineNum">      32 </span>            : #include &lt;boost/mpl/or.hpp&gt;
<span class="lineNum">      33 </span>            : #include &lt;boost/mpl/and.hpp&gt;
<span class="lineNum">      34 </span>            : #include &lt;boost/mpl/not.hpp&gt;
<span class="lineNum">      35 </span>            : #include &lt;boost/mpl/always.hpp&gt;
<span class="lineNum">      36 </span>            : #include &lt;boost/mpl/apply.hpp&gt;
<span class="lineNum">      37 </span>            : #include &lt;boost/mpl/identity.hpp&gt;
<span class="lineNum">      38 </span>            : 
<span class="lineNum">      39 </span>            : #include &lt;boost/iterator/detail/config_def.hpp&gt; // this goes last
<span class="lineNum">      40 </span>            : 
<span class="lineNum">      41 </span>            : namespace boost {
<span class="lineNum">      42 </span>            : namespace iterators {
<span class="lineNum">      43 </span>            : 
<span class="lineNum">      44 </span>            :   // This forward declaration is required for the friend declaration
<span class="lineNum">      45 </span>            :   // in iterator_core_access
<span class="lineNum">      46 </span>            :   template &lt;class I, class V, class TC, class R, class D&gt; class iterator_facade;
<span class="lineNum">      47 </span>            : 
<span class="lineNum">      48 </span>            :   namespace detail
<span class="lineNum">      49 </span>            :   {
<span class="lineNum">      50 </span>            :     // A binary metafunction class that always returns bool.  VC6
<span class="lineNum">      51 </span>            :     // ICEs on mpl::always&lt;bool&gt;, probably because of the default
<span class="lineNum">      52 </span>            :     // parameters.
<span class="lineNum">      53 </span>            :     struct always_bool2
<span class="lineNum">      54 </span>            :     {
<span class="lineNum">      55 </span>            :         template &lt;class T, class U&gt;
<span class="lineNum">      56 </span>            :         struct apply
<span class="lineNum">      57 </span>            :         {
<span class="lineNum">      58 </span>            :             typedef bool type;
<span class="lineNum">      59 </span>            :         };
<span class="lineNum">      60 </span>            :     };
<span class="lineNum">      61 </span>            : 
<span class="lineNum">      62 </span>            :     // The type trait checks if the category or traversal is at least as advanced as the specified required traversal
<span class="lineNum">      63 </span>            :     template&lt; typename CategoryOrTraversal, typename Required &gt;
<span class="lineNum">      64 </span>            :     struct is_traversal_at_least :
<span class="lineNum">      65 </span>            :         public boost::is_convertible&lt; typename iterator_category_to_traversal&lt; CategoryOrTraversal &gt;::type, Required &gt;
<span class="lineNum">      66 </span>            :     {};
<span class="lineNum">      67 </span>            : 
<span class="lineNum">      68 </span>            :     //
<span class="lineNum">      69 </span>            :     // enable if for use in operator implementation.
<span class="lineNum">      70 </span>            :     //
<span class="lineNum">      71 </span>            :     template &lt;
<span class="lineNum">      72 </span>            :         class Facade1
<span class="lineNum">      73 </span>            :       , class Facade2
<span class="lineNum">      74 </span>            :       , class Return
<span class="lineNum">      75 </span>            :     &gt;
<span class="lineNum">      76 </span>            :     struct enable_if_interoperable :
<span class="lineNum">      77 </span>            :         public boost::iterators::enable_if&lt;
<span class="lineNum">      78 </span>            :             is_interoperable&lt; Facade1, Facade2 &gt;
<span class="lineNum">      79 </span>            :           , Return
<span class="lineNum">      80 </span>            :         &gt;
<span class="lineNum">      81 </span>            :     {};
<span class="lineNum">      82 </span>            : 
<span class="lineNum">      83 </span>            :     //
<span class="lineNum">      84 </span>            :     // enable if for use in implementation of operators specific for random access traversal.
<span class="lineNum">      85 </span>            :     //
<span class="lineNum">      86 </span>            :     template &lt;
<span class="lineNum">      87 </span>            :         class Facade1
<span class="lineNum">      88 </span>            :       , class Facade2
<span class="lineNum">      89 </span>            :       , class Return
<span class="lineNum">      90 </span>            :     &gt;
<span class="lineNum">      91 </span>            :     struct enable_if_interoperable_and_random_access_traversal :
<span class="lineNum">      92 </span>            :         public boost::iterators::enable_if&lt;
<span class="lineNum">      93 </span>            :             mpl::and_&lt;
<span class="lineNum">      94 </span>            :                 is_interoperable&lt; Facade1, Facade2 &gt;
<span class="lineNum">      95 </span>            :               , is_traversal_at_least&lt; typename iterator_category&lt; Facade1 &gt;::type, random_access_traversal_tag &gt;
<span class="lineNum">      96 </span>            :               , is_traversal_at_least&lt; typename iterator_category&lt; Facade2 &gt;::type, random_access_traversal_tag &gt;
<span class="lineNum">      97 </span>            :             &gt;
<span class="lineNum">      98 </span>            :           , Return
<span class="lineNum">      99 </span>            :         &gt;
<span class="lineNum">     100 </span>            :     {};
<span class="lineNum">     101 </span>            : 
<span class="lineNum">     102 </span>            :     //
<span class="lineNum">     103 </span>            :     // Generates associated types for an iterator_facade with the
<span class="lineNum">     104 </span>            :     // given parameters.
<span class="lineNum">     105 </span>            :     //
<span class="lineNum">     106 </span>            :     template &lt;
<span class="lineNum">     107 </span>            :         class ValueParam
<span class="lineNum">     108 </span>            :       , class CategoryOrTraversal
<span class="lineNum">     109 </span>            :       , class Reference
<span class="lineNum">     110 </span>            :       , class Difference
<span class="lineNum">     111 </span>            :     &gt;
<span class="lineNum">     112 </span>            :     struct iterator_facade_types
<span class="lineNum">     113 </span>            :     {
<span class="lineNum">     114 </span>            :         typedef typename facade_iterator_category&lt;
<span class="lineNum">     115 </span>            :             CategoryOrTraversal, ValueParam, Reference
<span class="lineNum">     116 </span>            :         &gt;::type iterator_category;
<span class="lineNum">     117 </span>            : 
<span class="lineNum">     118 </span>            :         typedef typename remove_const&lt;ValueParam&gt;::type value_type;
<span class="lineNum">     119 </span>            : 
<span class="lineNum">     120 </span>            :         // Not the real associated pointer type
<span class="lineNum">     121 </span>            :         typedef typename mpl::eval_if&lt;
<span class="lineNum">     122 </span>            :             boost::iterators::detail::iterator_writability_disabled&lt;ValueParam,Reference&gt;
<span class="lineNum">     123 </span>            :           , add_pointer&lt;const value_type&gt;
<span class="lineNum">     124 </span>            :           , add_pointer&lt;value_type&gt;
<span class="lineNum">     125 </span>            :         &gt;::type pointer;
<span class="lineNum">     126 </span>            : 
<span class="lineNum">     127 </span>            : # if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)                          \
<span class="lineNum">     128 </span>            :     &amp;&amp; (BOOST_WORKAROUND(_STLPORT_VERSION, BOOST_TESTED_AT(0x452))              \
<span class="lineNum">     129 </span>            :         || BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, BOOST_TESTED_AT(310)))     \
<span class="lineNum">     130 </span>            :     || BOOST_WORKAROUND(BOOST_RWSTD_VER, BOOST_TESTED_AT(0x20101))              \
<span class="lineNum">     131 </span>            :     || BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, &lt;= 310)
<span class="lineNum">     132 </span>            : 
<span class="lineNum">     133 </span>            :         // To interoperate with some broken library/compiler
<span class="lineNum">     134 </span>            :         // combinations, user-defined iterators must be derived from
<span class="lineNum">     135 </span>            :         // std::iterator.  It is possible to implement a standard
<span class="lineNum">     136 </span>            :         // library for broken compilers without this limitation.
<span class="lineNum">     137 </span>            : #  define BOOST_ITERATOR_FACADE_NEEDS_ITERATOR_BASE 1
<span class="lineNum">     138 </span>            : 
<span class="lineNum">     139 </span>            :         typedef
<span class="lineNum">     140 </span>            :            iterator&lt;iterator_category, value_type, Difference, pointer, Reference&gt;
<span class="lineNum">     141 </span>            :         base;
<span class="lineNum">     142 </span>            : # endif
<span class="lineNum">     143 </span>            :     };
<span class="lineNum">     144 </span>            : 
<span class="lineNum">     145 </span>            :     // iterators whose dereference operators reference the same value
<span class="lineNum">     146 </span>            :     // for all iterators into the same sequence (like many input
<span class="lineNum">     147 </span>            :     // iterators) need help with their postfix ++: the referenced
<span class="lineNum">     148 </span>            :     // value must be read and stored away before the increment occurs
<span class="lineNum">     149 </span>            :     // so that *a++ yields the originally referenced element and not
<span class="lineNum">     150 </span>            :     // the next one.
<span class="lineNum">     151 </span>            :     template &lt;class Iterator&gt;
<span class="lineNum">     152 </span>            :     class postfix_increment_proxy
<span class="lineNum">     153 </span>            :     {
<span class="lineNum">     154 </span>            :         typedef typename iterator_value&lt;Iterator&gt;::type value_type;
<span class="lineNum">     155 </span>            :      public:
<span class="lineNum">     156 </span>            :         explicit postfix_increment_proxy(Iterator const&amp; x)
<span class="lineNum">     157 </span>            :           : stored_value(*x)
<span class="lineNum">     158 </span>            :         {}
<span class="lineNum">     159 </span>            : 
<span class="lineNum">     160 </span>            :         // Returning a mutable reference allows nonsense like
<span class="lineNum">     161 </span>            :         // (*r++).mutate(), but it imposes fewer assumptions about the
<span class="lineNum">     162 </span>            :         // behavior of the value_type.  In particular, recall that
<span class="lineNum">     163 </span>            :         // (*r).mutate() is legal if operator* returns by value.
<span class="lineNum">     164 </span>            :         value_type&amp;
<span class="lineNum">     165 </span>            :         operator*() const
<span class="lineNum">     166 </span>            :         {
<span class="lineNum">     167 </span>            :             return this-&gt;stored_value;
<span class="lineNum">     168 </span>            :         }
<span class="lineNum">     169 </span>            :      private:
<span class="lineNum">     170 </span>            :         mutable value_type stored_value;
<span class="lineNum">     171 </span>            :     };
<span class="lineNum">     172 </span>            : 
<span class="lineNum">     173 </span>            :     //
<span class="lineNum">     174 </span>            :     // In general, we can't determine that such an iterator isn't
<span class="lineNum">     175 </span>            :     // writable -- we also need to store a copy of the old iterator so
<span class="lineNum">     176 </span>            :     // that it can be written into.
<span class="lineNum">     177 </span>            :     template &lt;class Iterator&gt;
<span class="lineNum">     178 </span>            :     class writable_postfix_increment_proxy
<span class="lineNum">     179 </span>            :     {
<span class="lineNum">     180 </span>            :         typedef typename iterator_value&lt;Iterator&gt;::type value_type;
<span class="lineNum">     181 </span>            :      public:
<span class="lineNum">     182 </span>            :         explicit writable_postfix_increment_proxy(Iterator const&amp; x)
<span class="lineNum">     183 </span>            :           : stored_value(*x)
<span class="lineNum">     184 </span>            :           , stored_iterator(x)
<span class="lineNum">     185 </span>            :         {}
<span class="lineNum">     186 </span>            : 
<span class="lineNum">     187 </span>            :         // Dereferencing must return a proxy so that both *r++ = o and
<span class="lineNum">     188 </span>            :         // value_type(*r++) can work.  In this case, *r is the same as
<span class="lineNum">     189 </span>            :         // *r++, and the conversion operator below is used to ensure
<span class="lineNum">     190 </span>            :         // readability.
<span class="lineNum">     191 </span>            :         writable_postfix_increment_proxy const&amp;
<span class="lineNum">     192 </span>            :         operator*() const
<span class="lineNum">     193 </span>            :         {
<span class="lineNum">     194 </span>            :             return *this;
<span class="lineNum">     195 </span>            :         }
<span class="lineNum">     196 </span>            : 
<span class="lineNum">     197 </span>            :         // Provides readability of *r++
<span class="lineNum">     198 </span>            :         operator value_type&amp;() const
<span class="lineNum">     199 </span>            :         {
<span class="lineNum">     200 </span>            :             return stored_value;
<span class="lineNum">     201 </span>            :         }
<span class="lineNum">     202 </span>            : 
<span class="lineNum">     203 </span>            :         // Provides writability of *r++
<span class="lineNum">     204 </span>            :         template &lt;class T&gt;
<span class="lineNum">     205 </span>            :         T const&amp; operator=(T const&amp; x) const
<span class="lineNum">     206 </span>            :         {
<span class="lineNum">     207 </span>            :             *this-&gt;stored_iterator = x;
<span class="lineNum">     208 </span>            :             return x;
<span class="lineNum">     209 </span>            :         }
<span class="lineNum">     210 </span>            : 
<span class="lineNum">     211 </span>            :         // This overload just in case only non-const objects are writable
<span class="lineNum">     212 </span>            :         template &lt;class T&gt;
<span class="lineNum">     213 </span>            :         T&amp; operator=(T&amp; x) const
<span class="lineNum">     214 </span>            :         {
<span class="lineNum">     215 </span>            :             *this-&gt;stored_iterator = x;
<span class="lineNum">     216 </span>            :             return x;
<span class="lineNum">     217 </span>            :         }
<span class="lineNum">     218 </span>            : 
<span class="lineNum">     219 </span>            :         // Provides X(r++)
<span class="lineNum">     220 </span>            :         operator Iterator const&amp;() const
<span class="lineNum">     221 </span>            :         {
<span class="lineNum">     222 </span>            :             return stored_iterator;
<span class="lineNum">     223 </span>            :         }
<span class="lineNum">     224 </span>            : 
<span class="lineNum">     225 </span>            :      private:
<span class="lineNum">     226 </span>            :         mutable value_type stored_value;
<span class="lineNum">     227 </span>            :         Iterator stored_iterator;
<span class="lineNum">     228 </span>            :     };
<span class="lineNum">     229 </span>            : 
<span class="lineNum">     230 </span>            : # ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
<span class="lineNum">     231 </span>            : 
<span class="lineNum">     232 </span>            :     template &lt;class Reference, class Value&gt;
<span class="lineNum">     233 </span>            :     struct is_non_proxy_reference_impl
<span class="lineNum">     234 </span>            :     {
<span class="lineNum">     235 </span>            :         static Reference r;
<span class="lineNum">     236 </span>            : 
<span class="lineNum">     237 </span>            :         template &lt;class R&gt;
<span class="lineNum">     238 </span>            :         static typename mpl::if_&lt;
<span class="lineNum">     239 </span>            :             is_convertible&lt;
<span class="lineNum">     240 </span>            :                 R const volatile*
<span class="lineNum">     241 </span>            :               , Value const volatile*
<span class="lineNum">     242 </span>            :             &gt;
<span class="lineNum">     243 </span>            :           , char[1]
<span class="lineNum">     244 </span>            :           , char[2]
<span class="lineNum">     245 </span>            :         &gt;::type&amp; helper(R const&amp;);
<span class="lineNum">     246 </span>            : 
<span class="lineNum">     247 </span>            :         BOOST_STATIC_CONSTANT(bool, value = sizeof(helper(r)) == 1);
<span class="lineNum">     248 </span>            :     };
<span class="lineNum">     249 </span>            : 
<span class="lineNum">     250 </span>            :     template &lt;class Reference, class Value&gt;
<span class="lineNum">     251 </span>            :     struct is_non_proxy_reference
<span class="lineNum">     252 </span>            :       : mpl::bool_&lt;
<span class="lineNum">     253 </span>            :             is_non_proxy_reference_impl&lt;Reference, Value&gt;::value
<span class="lineNum">     254 </span>            :         &gt;
<span class="lineNum">     255 </span>            :     {};
<span class="lineNum">     256 </span>            : # else
<span class="lineNum">     257 </span>            :     template &lt;class Reference, class Value&gt;
<span class="lineNum">     258 </span>            :     struct is_non_proxy_reference
<span class="lineNum">     259 </span>            :       : is_convertible&lt;
<span class="lineNum">     260 </span>            :             typename remove_reference&lt;Reference&gt;::type
<span class="lineNum">     261 </span>            :             const volatile*
<span class="lineNum">     262 </span>            :           , Value const volatile*
<span class="lineNum">     263 </span>            :         &gt;
<span class="lineNum">     264 </span>            :     {};
<span class="lineNum">     265 </span>            : # endif
<span class="lineNum">     266 </span>            : 
<span class="lineNum">     267 </span>            :     // A metafunction to choose the result type of postfix ++
<span class="lineNum">     268 </span>            :     //
<span class="lineNum">     269 </span>            :     // Because the C++98 input iterator requirements say that *r++ has
<span class="lineNum">     270 </span>            :     // type T (value_type), implementations of some standard
<span class="lineNum">     271 </span>            :     // algorithms like lexicographical_compare may use constructions
<span class="lineNum">     272 </span>            :     // like:
<span class="lineNum">     273 </span>            :     //
<span class="lineNum">     274 </span>            :     //          *r++ &lt; *s++
<span class="lineNum">     275 </span>            :     //
<span class="lineNum">     276 </span>            :     // If *r++ returns a proxy (as required if r is writable but not
<span class="lineNum">     277 </span>            :     // multipass), this sort of expression will fail unless the proxy
<span class="lineNum">     278 </span>            :     // supports the operator&lt;.  Since there are any number of such
<span class="lineNum">     279 </span>            :     // operations, we're not going to try to support them.  Therefore,
<span class="lineNum">     280 </span>            :     // even if r++ returns a proxy, *r++ will only return a proxy if
<span class="lineNum">     281 </span>            :     // *r also returns a proxy.
<span class="lineNum">     282 </span>            :     template &lt;class Iterator, class Value, class Reference, class CategoryOrTraversal&gt;
<span class="lineNum">     283 </span>            :     struct postfix_increment_result
<span class="lineNum">     284 </span>            :       : mpl::eval_if&lt;
<span class="lineNum">     285 </span>            :             mpl::and_&lt;
<span class="lineNum">     286 </span>            :                 // A proxy is only needed for readable iterators
<span class="lineNum">     287 </span>            :                 is_convertible&lt;Reference,Value const&amp;&gt;
<span class="lineNum">     288 </span>            : 
<span class="lineNum">     289 </span>            :                 // No multipass iterator can have values that disappear
<span class="lineNum">     290 </span>            :                 // before positions can be re-visited
<span class="lineNum">     291 </span>            :               , mpl::not_&lt;
<span class="lineNum">     292 </span>            :                     is_convertible&lt;
<span class="lineNum">     293 </span>            :                         typename iterator_category_to_traversal&lt;CategoryOrTraversal&gt;::type
<span class="lineNum">     294 </span>            :                       , forward_traversal_tag
<span class="lineNum">     295 </span>            :                     &gt;
<span class="lineNum">     296 </span>            :                 &gt;
<span class="lineNum">     297 </span>            :             &gt;
<span class="lineNum">     298 </span>            :           , mpl::if_&lt;
<span class="lineNum">     299 </span>            :                 is_non_proxy_reference&lt;Reference,Value&gt;
<span class="lineNum">     300 </span>            :               , postfix_increment_proxy&lt;Iterator&gt;
<span class="lineNum">     301 </span>            :               , writable_postfix_increment_proxy&lt;Iterator&gt;
<span class="lineNum">     302 </span>            :             &gt;
<span class="lineNum">     303 </span>            :           , mpl::identity&lt;Iterator&gt;
<span class="lineNum">     304 </span>            :         &gt;
<span class="lineNum">     305 </span>            :     {};
<span class="lineNum">     306 </span>            : 
<span class="lineNum">     307 </span>            :     // operator-&gt;() needs special support for input iterators to strictly meet the
<span class="lineNum">     308 </span>            :     // standard's requirements. If *i is not a reference type, we must still
<span class="lineNum">     309 </span>            :     // produce an lvalue to which a pointer can be formed.  We do that by
<span class="lineNum">     310 </span>            :     // returning a proxy object containing an instance of the reference object.
<span class="lineNum">     311 </span>            :     template &lt;class Reference, class Pointer&gt;
<span class="lineNum">     312 </span>            :     struct operator_arrow_dispatch // proxy references
<span class="lineNum">     313 </span>            :     {
<span class="lineNum">     314 </span>            :         struct proxy
<span class="lineNum">     315 </span>            :         {
<span class="lineNum">     316 </span>            :             explicit proxy(Reference const &amp; x) : m_ref(x) {}
<span class="lineNum">     317 </span>            :             Reference* operator-&gt;() { return boost::addressof(m_ref); }
<span class="lineNum">     318 </span>            :             // This function is needed for MWCW and BCC, which won't call
<span class="lineNum">     319 </span>            :             // operator-&gt; again automatically per 13.3.1.2 para 8
<span class="lineNum">     320 </span>            :             operator Reference*() { return boost::addressof(m_ref); }
<span class="lineNum">     321 </span>            :             Reference m_ref;
<span class="lineNum">     322 </span>            :         };
<span class="lineNum">     323 </span>            :         typedef proxy result_type;
<span class="lineNum">     324 </span>            :         static result_type apply(Reference const &amp; x)
<span class="lineNum">     325 </span>            :         {
<span class="lineNum">     326 </span>            :             return result_type(x);
<span class="lineNum">     327 </span>            :         }
<span class="lineNum">     328 </span>            :     };
<span class="lineNum">     329 </span>            : 
<span class="lineNum">     330 </span>            :     template &lt;class T, class Pointer&gt;
<span class="lineNum">     331 </span>            :     struct operator_arrow_dispatch&lt;T&amp;, Pointer&gt; // &quot;real&quot; references
<span class="lineNum">     332 </span>            :     {
<span class="lineNum">     333 </span>            :         typedef Pointer result_type;
<span class="lineNum">     334 </span>            :         static result_type apply(T&amp; x)
<span class="lineNum">     335 </span>            :         {
<span class="lineNum">     336 </span>            :             return boost::addressof(x);
<span class="lineNum">     337 </span>            :         }
<span class="lineNum">     338 </span>            :     };
<span class="lineNum">     339 </span>            : 
<span class="lineNum">     340 </span>            :     // A proxy return type for operator[], needed to deal with
<span class="lineNum">     341 </span>            :     // iterators that may invalidate referents upon destruction.
<span class="lineNum">     342 </span>            :     // Consider the temporary iterator in *(a + n)
<span class="lineNum">     343 </span>            :     template &lt;class Iterator&gt;
<span class="lineNum">     344 </span>            :     class operator_brackets_proxy
<span class="lineNum">     345 </span>            :     {
<span class="lineNum">     346 </span>            :         // Iterator is actually an iterator_facade, so we do not have to
<span class="lineNum">     347 </span>            :         // go through iterator_traits to access the traits.
<span class="lineNum">     348 </span>            :         typedef typename Iterator::reference  reference;
<span class="lineNum">     349 </span>            :         typedef typename Iterator::value_type value_type;
<span class="lineNum">     350 </span>            : 
<span class="lineNum">     351 </span>            :      public:
<span class="lineNum">     352 </span>            :         operator_brackets_proxy(Iterator const&amp; iter)
<span class="lineNum">     353 </span>            :           : m_iter(iter)
<span class="lineNum">     354 </span>            :         {}
<span class="lineNum">     355 </span>            : 
<span class="lineNum">     356 </span>            :         operator reference() const
<span class="lineNum">     357 </span>            :         {
<span class="lineNum">     358 </span>            :             return *m_iter;
<span class="lineNum">     359 </span>            :         }
<span class="lineNum">     360 </span>            : 
<span class="lineNum">     361 </span>            :         operator_brackets_proxy&amp; operator=(value_type const&amp; val)
<span class="lineNum">     362 </span>            :         {
<span class="lineNum">     363 </span>            :             *m_iter = val;
<span class="lineNum">     364 </span>            :             return *this;
<span class="lineNum">     365 </span>            :         }
<span class="lineNum">     366 </span>            : 
<span class="lineNum">     367 </span>            :      private:
<span class="lineNum">     368 </span>            :         Iterator m_iter;
<span class="lineNum">     369 </span>            :     };
<span class="lineNum">     370 </span>            : 
<span class="lineNum">     371 </span>            :     // A metafunction that determines whether operator[] must return a
<span class="lineNum">     372 </span>            :     // proxy, or whether it can simply return a copy of the value_type.
<span class="lineNum">     373 </span>            :     template &lt;class ValueType, class Reference&gt;
<span class="lineNum">     374 </span>            :     struct use_operator_brackets_proxy
<span class="lineNum">     375 </span>            :       : mpl::not_&lt;
<span class="lineNum">     376 </span>            :             mpl::and_&lt;
<span class="lineNum">     377 </span>            :                 // Really we want an is_copy_constructible trait here,
<span class="lineNum">     378 </span>            :                 // but is_POD will have to suffice in the meantime.
<span class="lineNum">     379 </span>            :                 boost::is_POD&lt;ValueType&gt;
<span class="lineNum">     380 </span>            :               , iterator_writability_disabled&lt;ValueType,Reference&gt;
<span class="lineNum">     381 </span>            :             &gt;
<span class="lineNum">     382 </span>            :         &gt;
<span class="lineNum">     383 </span>            :     {};
<span class="lineNum">     384 </span>            : 
<span class="lineNum">     385 </span>            :     template &lt;class Iterator, class Value, class Reference&gt;
<span class="lineNum">     386 </span>            :     struct operator_brackets_result
<span class="lineNum">     387 </span>            :     {
<span class="lineNum">     388 </span>            :         typedef typename mpl::if_&lt;
<span class="lineNum">     389 </span>            :             use_operator_brackets_proxy&lt;Value,Reference&gt;
<span class="lineNum">     390 </span>            :           , operator_brackets_proxy&lt;Iterator&gt;
<span class="lineNum">     391 </span>            :           , Value
<span class="lineNum">     392 </span>            :         &gt;::type type;
<span class="lineNum">     393 </span>            :     };
<span class="lineNum">     394 </span>            : 
<span class="lineNum">     395 </span>            :     template &lt;class Iterator&gt;
<span class="lineNum">     396 </span>            :     operator_brackets_proxy&lt;Iterator&gt; make_operator_brackets_result(Iterator const&amp; iter, mpl::true_)
<span class="lineNum">     397 </span>            :     {
<span class="lineNum">     398 </span>            :         return operator_brackets_proxy&lt;Iterator&gt;(iter);
<span class="lineNum">     399 </span>            :     }
<span class="lineNum">     400 </span>            : 
<span class="lineNum">     401 </span>            :     template &lt;class Iterator&gt;
<span class="lineNum">     402 </span>            :     typename Iterator::value_type make_operator_brackets_result(Iterator const&amp; iter, mpl::false_)
<span class="lineNum">     403 </span>            :     {
<span class="lineNum">     404 </span>            :       return *iter;
<span class="lineNum">     405 </span>            :     }
<span class="lineNum">     406 </span>            : 
<span class="lineNum">     407 </span>            :     struct choose_difference_type
<span class="lineNum">     408 </span>            :     {
<span class="lineNum">     409 </span>            :         template &lt;class I1, class I2&gt;
<span class="lineNum">     410 </span>            :         struct apply
<span class="lineNum">     411 </span>            :           :
<span class="lineNum">     412 </span>            : # ifdef BOOST_NO_ONE_WAY_ITERATOR_INTEROP
<span class="lineNum">     413 </span>            :           iterator_difference&lt;I1&gt;
<span class="lineNum">     414 </span>            : # else
<span class="lineNum">     415 </span>            :           mpl::eval_if&lt;
<span class="lineNum">     416 </span>            :               is_convertible&lt;I2,I1&gt;
<span class="lineNum">     417 </span>            :             , iterator_difference&lt;I1&gt;
<span class="lineNum">     418 </span>            :             , iterator_difference&lt;I2&gt;
<span class="lineNum">     419 </span>            :           &gt;
<span class="lineNum">     420 </span>            : # endif
<span class="lineNum">     421 </span>            :         {};
<span class="lineNum">     422 </span>            : 
<span class="lineNum">     423 </span>            :     };
<span class="lineNum">     424 </span>            : 
<span class="lineNum">     425 </span>            :     template &lt;
<span class="lineNum">     426 </span>            :         class Derived
<span class="lineNum">     427 </span>            :       , class Value
<span class="lineNum">     428 </span>            :       , class CategoryOrTraversal
<span class="lineNum">     429 </span>            :       , class Reference
<span class="lineNum">     430 </span>            :       , class Difference
<span class="lineNum">     431 </span>            :       , bool IsBidirectionalTraversal
<span class="lineNum">     432 </span>            :       , bool IsRandomAccessTraversal
<span class="lineNum">     433 </span>            :     &gt;
<span class="lineNum">     434 </span>            :     class iterator_facade_base;
<span class="lineNum">     435 </span>            : 
<span class="lineNum">     436 </span>            :   } // namespace detail
<span class="lineNum">     437 </span>            : 
<span class="lineNum">     438 </span>            : 
<span class="lineNum">     439 </span>            :   // Macros which describe the declarations of binary operators
<span class="lineNum">     440 </span>            : # ifdef BOOST_NO_STRICT_ITERATOR_INTEROPERABILITY
<span class="lineNum">     441 </span>            : #  define BOOST_ITERATOR_FACADE_INTEROP_HEAD_IMPL(prefix, op, result_type, enabler)       \
<span class="lineNum">     442 </span>            :     template &lt;                                                              \
<span class="lineNum">     443 </span>            :         class Derived1, class V1, class TC1, class Reference1, class Difference1 \
<span class="lineNum">     444 </span>            :       , class Derived2, class V2, class TC2, class Reference2, class Difference2 \
<span class="lineNum">     445 </span>            :     &gt;                                                                       \
<span class="lineNum">     446 </span>            :     prefix typename mpl::apply2&lt;result_type,Derived1,Derived2&gt;::type \
<span class="lineNum">     447 </span>            :     operator op(                                                            \
<span class="lineNum">     448 </span>            :         iterator_facade&lt;Derived1, V1, TC1, Reference1, Difference1&gt; const&amp; lhs   \
<span class="lineNum">     449 </span>            :       , iterator_facade&lt;Derived2, V2, TC2, Reference2, Difference2&gt; const&amp; rhs)
<span class="lineNum">     450 </span>            : # else
<span class="lineNum">     451 </span>            : #  define BOOST_ITERATOR_FACADE_INTEROP_HEAD_IMPL(prefix, op, result_type, enabler)   \
<span class="lineNum">     452 </span>            :     template &lt;                                                          \
<span class="lineNum">     453 </span>            :         class Derived1, class V1, class TC1, class Reference1, class Difference1 \
<span class="lineNum">     454 </span>            :       , class Derived2, class V2, class TC2, class Reference2, class Difference2 \
<span class="lineNum">     455 </span>            :     &gt;                                                                   \
<span class="lineNum">     456 </span>            :     prefix typename enabler&lt;                                            \
<span class="lineNum">     457 </span>            :         Derived1, Derived2                                              \
<span class="lineNum">     458 </span>            :       , typename mpl::apply2&lt;result_type,Derived1,Derived2&gt;::type       \
<span class="lineNum">     459 </span>            :     &gt;::type                                                             \
<span class="lineNum">     460 </span>            :     operator op(                                                        \
<span class="lineNum">     461 </span>            :         iterator_facade&lt;Derived1, V1, TC1, Reference1, Difference1&gt; const&amp; lhs   \
<span class="lineNum">     462 </span>            :       , iterator_facade&lt;Derived2, V2, TC2, Reference2, Difference2&gt; const&amp; rhs)
<span class="lineNum">     463 </span>            : # endif
<span class="lineNum">     464 </span>            : 
<span class="lineNum">     465 </span>            : #  define BOOST_ITERATOR_FACADE_INTEROP_HEAD(prefix, op, result_type)       \
<span class="lineNum">     466 </span>            :     BOOST_ITERATOR_FACADE_INTEROP_HEAD_IMPL(prefix, op, result_type, boost::iterators::detail::enable_if_interoperable)
<span class="lineNum">     467 </span>            : 
<span class="lineNum">     468 </span>            : #  define BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS_HEAD(prefix, op, result_type)       \
<span class="lineNum">     469 </span>            :     BOOST_ITERATOR_FACADE_INTEROP_HEAD_IMPL(prefix, op, result_type, boost::iterators::detail::enable_if_interoperable_and_random_access_traversal)
<span class="lineNum">     470 </span>            : 
<span class="lineNum">     471 </span>            : #  define BOOST_ITERATOR_FACADE_PLUS_HEAD(prefix,args)              \
<span class="lineNum">     472 </span>            :     template &lt;class Derived, class V, class TC, class R, class D&gt;   \
<span class="lineNum">     473 </span>            :     prefix typename boost::iterators::enable_if&lt;                    \
<span class="lineNum">     474 </span>            :         boost::iterators::detail::is_traversal_at_least&lt; TC, boost::iterators::random_access_traversal_tag &gt;,  \
<span class="lineNum">     475 </span>            :         Derived                                                     \
<span class="lineNum">     476 </span>            :     &gt;::type operator+ args
<span class="lineNum">     477 </span>            : 
<span class="lineNum">     478 </span>            :   //
<span class="lineNum">     479 </span>            :   // Helper class for granting access to the iterator core interface.
<span class="lineNum">     480 </span>            :   //
<span class="lineNum">     481 </span>            :   // The simple core interface is used by iterator_facade. The core
<span class="lineNum">     482 </span>            :   // interface of a user/library defined iterator type should not be made public
<span class="lineNum">     483 </span>            :   // so that it does not clutter the public interface. Instead iterator_core_access
<span class="lineNum">     484 </span>            :   // should be made friend so that iterator_facade can access the core
<span class="lineNum">     485 </span>            :   // interface through iterator_core_access.
<span class="lineNum">     486 </span>            :   //
<span class="lineNum">     487 </span>            :   class iterator_core_access
<span class="lineNum">     488 </span>            :   {
<span class="lineNum">     489 </span>            : # if defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS)
<span class="lineNum">     490 </span>            :       // Tasteless as this may seem, making all members public allows member templates
<span class="lineNum">     491 </span>            :       // to work in the absence of member template friends.
<span class="lineNum">     492 </span>            :    public:
<span class="lineNum">     493 </span>            : # else
<span class="lineNum">     494 </span>            : 
<span class="lineNum">     495 </span>            :       template &lt;class I, class V, class TC, class R, class D&gt; friend class iterator_facade;
<span class="lineNum">     496 </span>            :       template &lt;class I, class V, class TC, class R, class D, bool IsBidirectionalTraversal, bool IsRandomAccessTraversal&gt;
<span class="lineNum">     497 </span>            :       friend class detail::iterator_facade_base;
<span class="lineNum">     498 </span>            : 
<span class="lineNum">     499 </span>            : #  define BOOST_ITERATOR_FACADE_RELATION(op)                                \
<span class="lineNum">     500 </span>            :       BOOST_ITERATOR_FACADE_INTEROP_HEAD(friend,op, boost::iterators::detail::always_bool2);
<span class="lineNum">     501 </span>            : 
<span class="lineNum">     502 </span>            :       BOOST_ITERATOR_FACADE_RELATION(==)
<span class="lineNum">     503 </span>            :       BOOST_ITERATOR_FACADE_RELATION(!=)
<span class="lineNum">     504 </span>            : 
<span class="lineNum">     505 </span>            : #  undef BOOST_ITERATOR_FACADE_RELATION
<span class="lineNum">     506 </span>            : 
<span class="lineNum">     507 </span>            : #  define BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(op)                                \
<span class="lineNum">     508 </span>            :       BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS_HEAD(friend,op, boost::iterators::detail::always_bool2);
<span class="lineNum">     509 </span>            : 
<span class="lineNum">     510 </span>            :       BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&lt;)
<span class="lineNum">     511 </span>            :       BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&gt;)
<span class="lineNum">     512 </span>            :       BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&lt;=)
<span class="lineNum">     513 </span>            :       BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&gt;=)
<span class="lineNum">     514 </span>            : 
<span class="lineNum">     515 </span>            : #  undef BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION
<span class="lineNum">     516 </span>            : 
<span class="lineNum">     517 </span>            :       BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS_HEAD(
<span class="lineNum">     518 </span>            :           friend, -, boost::iterators::detail::choose_difference_type)
<span class="lineNum">     519 </span>            :       ;
<span class="lineNum">     520 </span>            : 
<span class="lineNum">     521 </span>            :       BOOST_ITERATOR_FACADE_PLUS_HEAD(
<span class="lineNum">     522 </span>            :           friend inline
<span class="lineNum">     523 </span>            :         , (iterator_facade&lt;Derived, V, TC, R, D&gt; const&amp;
<span class="lineNum">     524 </span>            :         , typename Derived::difference_type)
<span class="lineNum">     525 </span>            :       )
<span class="lineNum">     526 </span>            :       ;
<span class="lineNum">     527 </span>            : 
<span class="lineNum">     528 </span>            :       BOOST_ITERATOR_FACADE_PLUS_HEAD(
<span class="lineNum">     529 </span>            :           friend inline
<span class="lineNum">     530 </span>            :         , (typename Derived::difference_type
<span class="lineNum">     531 </span>            :         , iterator_facade&lt;Derived, V, TC, R, D&gt; const&amp;)
<span class="lineNum">     532 </span>            :       )
<span class="lineNum">     533 </span>            :       ;
<span class="lineNum">     534 </span>            : 
<span class="lineNum">     535 </span>            : # endif
<span class="lineNum">     536 </span>            : 
<span class="lineNum">     537 </span>            :       template &lt;class Facade&gt;
<span class="lineNum">     538 </span>            :       static typename Facade::reference dereference(Facade const&amp; f)
<span class="lineNum">     539 </span>            :       {
<span class="lineNum">     540 </span>            :           return f.dereference();
<span class="lineNum">     541 </span>            :       }
<span class="lineNum">     542 </span>            : 
<span class="lineNum">     543 </span>            :       template &lt;class Facade&gt;
<span class="lineNum">     544 </span>            :       static void increment(Facade&amp; f)
<span class="lineNum">     545 </span>            :       {
<span class="lineNum">     546 </span><span class="lineCov">          1 :           f.increment();</span>
<span class="lineNum">     547 </span>            :       }
<span class="lineNum">     548 </span>            : 
<span class="lineNum">     549 </span>            :       template &lt;class Facade&gt;
<span class="lineNum">     550 </span>            :       static void decrement(Facade&amp; f)
<span class="lineNum">     551 </span>            :       {
<span class="lineNum">     552 </span>            :           f.decrement();
<span class="lineNum">     553 </span>            :       }
<span class="lineNum">     554 </span>            : 
<span class="lineNum">     555 </span>            :       template &lt;class Facade1, class Facade2&gt;
<span class="lineNum">     556 </span>            :       static bool equal(Facade1 const&amp; f1, Facade2 const&amp; f2, mpl::true_)
<span class="lineNum">     557 </span>            :       {
<span class="lineNum">     558 </span><span class="lineCov">          2 :           return f1.equal(f2);</span>
<span class="lineNum">     559 </span>            :       }
<span class="lineNum">     560 </span>            : 
<span class="lineNum">     561 </span>            :       template &lt;class Facade1, class Facade2&gt;
<span class="lineNum">     562 </span>            :       static bool equal(Facade1 const&amp; f1, Facade2 const&amp; f2, mpl::false_)
<span class="lineNum">     563 </span>            :       {
<span class="lineNum">     564 </span>            :           return f2.equal(f1);
<span class="lineNum">     565 </span>            :       }
<span class="lineNum">     566 </span>            : 
<span class="lineNum">     567 </span>            :       template &lt;class Facade&gt;
<span class="lineNum">     568 </span>            :       static void advance(Facade&amp; f, typename Facade::difference_type n)
<span class="lineNum">     569 </span>            :       {
<span class="lineNum">     570 </span>            :           f.advance(n);
<span class="lineNum">     571 </span>            :       }
<span class="lineNum">     572 </span>            : 
<span class="lineNum">     573 </span>            :       template &lt;class Facade1, class Facade2&gt;
<span class="lineNum">     574 </span>            :       static typename Facade1::difference_type distance_from(
<span class="lineNum">     575 </span>            :           Facade1 const&amp; f1, Facade2 const&amp; f2, mpl::true_)
<span class="lineNum">     576 </span>            :       {
<span class="lineNum">     577 </span>            :           return -f1.distance_to(f2);
<span class="lineNum">     578 </span>            :       }
<span class="lineNum">     579 </span>            : 
<span class="lineNum">     580 </span>            :       template &lt;class Facade1, class Facade2&gt;
<span class="lineNum">     581 </span>            :       static typename Facade2::difference_type distance_from(
<span class="lineNum">     582 </span>            :           Facade1 const&amp; f1, Facade2 const&amp; f2, mpl::false_)
<span class="lineNum">     583 </span>            :       {
<span class="lineNum">     584 </span>            :           return f2.distance_to(f1);
<span class="lineNum">     585 </span>            :       }
<span class="lineNum">     586 </span>            : 
<span class="lineNum">     587 </span>            :       //
<span class="lineNum">     588 </span>            :       // Curiously Recurring Template interface.
<span class="lineNum">     589 </span>            :       //
<span class="lineNum">     590 </span>            :       template &lt;class I, class V, class TC, class R, class D&gt;
<span class="lineNum">     591 </span>            :       static I&amp; derived(iterator_facade&lt;I,V,TC,R,D&gt;&amp; facade)
<span class="lineNum">     592 </span>            :       {
<span class="lineNum">     593 </span>            :           return *static_cast&lt;I*&gt;(&amp;facade);
<span class="lineNum">     594 </span>            :       }
<span class="lineNum">     595 </span>            : 
<span class="lineNum">     596 </span>            :       template &lt;class I, class V, class TC, class R, class D&gt;
<span class="lineNum">     597 </span>            :       static I const&amp; derived(iterator_facade&lt;I,V,TC,R,D&gt; const&amp; facade)
<span class="lineNum">     598 </span>            :       {
<span class="lineNum">     599 </span>            :           return *static_cast&lt;I const*&gt;(&amp;facade);
<span class="lineNum">     600 </span>            :       }
<span class="lineNum">     601 </span>            : 
<span class="lineNum">     602 </span>            :       // objects of this class are useless
<span class="lineNum">     603 </span>            :       BOOST_DELETED_FUNCTION(iterator_core_access())
<span class="lineNum">     604 </span>            :   };
<span class="lineNum">     605 </span>            : 
<span class="lineNum">     606 </span>            :   namespace detail {
<span class="lineNum">     607 </span>            : 
<span class="lineNum">     608 </span>            :     // Implementation for forward traversal iterators
<span class="lineNum">     609 </span>            :     template &lt;
<span class="lineNum">     610 </span>            :         class Derived
<span class="lineNum">     611 </span>            :       , class Value
<span class="lineNum">     612 </span>            :       , class CategoryOrTraversal
<span class="lineNum">     613 </span>            :       , class Reference
<span class="lineNum">     614 </span>            :       , class Difference
<span class="lineNum">     615 </span>            :     &gt;
<span class="lineNum">     616 </span>            :     class iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, false, false &gt;
<span class="lineNum">     617 </span>            : # ifdef BOOST_ITERATOR_FACADE_NEEDS_ITERATOR_BASE
<span class="lineNum">     618 </span>            :         : public boost::iterators::detail::iterator_facade_types&lt;
<span class="lineNum">     619 </span>            :              Value, CategoryOrTraversal, Reference, Difference
<span class="lineNum">     620 </span>            :           &gt;::base
<span class="lineNum">     621 </span>            : #  undef BOOST_ITERATOR_FACADE_NEEDS_ITERATOR_BASE
<span class="lineNum">     622 </span>            : # endif
<span class="lineNum">     623 </span>            :     {
<span class="lineNum">     624 </span>            :     private:
<span class="lineNum">     625 </span>            :         typedef boost::iterators::detail::iterator_facade_types&lt;
<span class="lineNum">     626 </span>            :             Value, CategoryOrTraversal, Reference, Difference
<span class="lineNum">     627 </span>            :         &gt; associated_types;
<span class="lineNum">     628 </span>            : 
<span class="lineNum">     629 </span>            :         typedef boost::iterators::detail::operator_arrow_dispatch&lt;
<span class="lineNum">     630 </span>            :             Reference
<span class="lineNum">     631 </span>            :           , typename associated_types::pointer
<span class="lineNum">     632 </span>            :         &gt; operator_arrow_dispatch_;
<span class="lineNum">     633 </span>            : 
<span class="lineNum">     634 </span>            :     public:
<span class="lineNum">     635 </span>            :         typedef typename associated_types::value_type value_type;
<span class="lineNum">     636 </span>            :         typedef Reference reference;
<span class="lineNum">     637 </span>            :         typedef Difference difference_type;
<span class="lineNum">     638 </span>            : 
<span class="lineNum">     639 </span>            :         typedef typename operator_arrow_dispatch_::result_type pointer;
<span class="lineNum">     640 </span>            : 
<span class="lineNum">     641 </span>            :         typedef typename associated_types::iterator_category iterator_category;
<span class="lineNum">     642 </span>            : 
<span class="lineNum">     643 </span>            :     public:
<span class="lineNum">     644 </span>            :         reference operator*() const
<span class="lineNum">     645 </span>            :         {
<span class="lineNum">     646 </span>            :             return iterator_core_access::dereference(this-&gt;derived());
<span class="lineNum">     647 </span>            :         }
<span class="lineNum">     648 </span>            : 
<span class="lineNum">     649 </span>            :         pointer operator-&gt;() const
<span class="lineNum">     650 </span>            :         {
<span class="lineNum">     651 </span>            :             return operator_arrow_dispatch_::apply(*this-&gt;derived());
<span class="lineNum">     652 </span>            :         }
<span class="lineNum">     653 </span>            : 
<span class="lineNum">     654 </span>            :         Derived&amp; operator++()
<span class="lineNum">     655 </span>            :         {
<span class="lineNum">     656 </span>            :             iterator_core_access::increment(this-&gt;derived());
<span class="lineNum">     657 </span>            :             return this-&gt;derived();
<span class="lineNum">     658 </span>            :         }
<span class="lineNum">     659 </span>            : 
<span class="lineNum">     660 </span>            :     protected:
<span class="lineNum">     661 </span>            :         //
<span class="lineNum">     662 </span>            :         // Curiously Recurring Template interface.
<span class="lineNum">     663 </span>            :         //
<span class="lineNum">     664 </span>            :         Derived&amp; derived()
<span class="lineNum">     665 </span>            :         {
<span class="lineNum">     666 </span>            :             return *static_cast&lt;Derived*&gt;(this);
<span class="lineNum">     667 </span>            :         }
<span class="lineNum">     668 </span>            : 
<span class="lineNum">     669 </span>            :         Derived const&amp; derived() const
<span class="lineNum">     670 </span>            :         {
<span class="lineNum">     671 </span>            :             return *static_cast&lt;Derived const*&gt;(this);
<span class="lineNum">     672 </span>            :         }
<span class="lineNum">     673 </span>            :     };
<span class="lineNum">     674 </span>            : 
<span class="lineNum">     675 </span>            :     // Implementation for bidirectional traversal iterators
<span class="lineNum">     676 </span>            :     template &lt;
<span class="lineNum">     677 </span>            :         class Derived
<span class="lineNum">     678 </span>            :       , class Value
<span class="lineNum">     679 </span>            :       , class CategoryOrTraversal
<span class="lineNum">     680 </span>            :       , class Reference
<span class="lineNum">     681 </span>            :       , class Difference
<span class="lineNum">     682 </span>            :     &gt;
<span class="lineNum">     683 </span>            :     class iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, true, false &gt; :
<span class="lineNum">     684 </span>            :         public iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, false, false &gt;
<span class="lineNum">     685 </span>            :     {
<span class="lineNum">     686 </span>            :     public:
<span class="lineNum">     687 </span>            :         Derived&amp; operator--()
<span class="lineNum">     688 </span>            :         {
<span class="lineNum">     689 </span>            :             iterator_core_access::decrement(this-&gt;derived());
<span class="lineNum">     690 </span>            :             return this-&gt;derived();
<span class="lineNum">     691 </span>            :         }
<span class="lineNum">     692 </span>            : 
<span class="lineNum">     693 </span>            :         Derived operator--(int)
<span class="lineNum">     694 </span>            :         {
<span class="lineNum">     695 </span>            :             Derived tmp(this-&gt;derived());
<span class="lineNum">     696 </span>            :             --*this;
<span class="lineNum">     697 </span>            :             return tmp;
<span class="lineNum">     698 </span>            :         }
<span class="lineNum">     699 </span>            :     };
<span class="lineNum">     700 </span>            : 
<span class="lineNum">     701 </span>            :     // Implementation for random access traversal iterators
<span class="lineNum">     702 </span>            :     template &lt;
<span class="lineNum">     703 </span>            :         class Derived
<span class="lineNum">     704 </span>            :       , class Value
<span class="lineNum">     705 </span>            :       , class CategoryOrTraversal
<span class="lineNum">     706 </span>            :       , class Reference
<span class="lineNum">     707 </span>            :       , class Difference
<span class="lineNum">     708 </span>            :     &gt;
<span class="lineNum">     709 </span>            :     class iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, true, true &gt; :
<span class="lineNum">     710 </span>            :         public iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, true, false &gt;
<span class="lineNum">     711 </span>            :     {
<span class="lineNum">     712 </span>            :     private:
<span class="lineNum">     713 </span>            :         typedef iterator_facade_base&lt; Derived, Value, CategoryOrTraversal, Reference, Difference, true, false &gt; base_type;
<span class="lineNum">     714 </span>            : 
<span class="lineNum">     715 </span>            :     public:
<span class="lineNum">     716 </span>            :         typedef typename base_type::reference reference;
<span class="lineNum">     717 </span>            :         typedef typename base_type::difference_type difference_type;
<span class="lineNum">     718 </span>            : 
<span class="lineNum">     719 </span>            :     public:
<span class="lineNum">     720 </span>            :         typename boost::iterators::detail::operator_brackets_result&lt;Derived, Value, reference&gt;::type
<span class="lineNum">     721 </span>            :         operator[](difference_type n) const
<span class="lineNum">     722 </span>            :         {
<span class="lineNum">     723 </span>            :             typedef boost::iterators::detail::use_operator_brackets_proxy&lt;Value, Reference&gt; use_proxy;
<span class="lineNum">     724 </span>            : 
<span class="lineNum">     725 </span>            :             return boost::iterators::detail::make_operator_brackets_result&lt;Derived&gt;(
<span class="lineNum">     726 </span>            :                 this-&gt;derived() + n
<span class="lineNum">     727 </span>            :               , use_proxy()
<span class="lineNum">     728 </span>            :             );
<span class="lineNum">     729 </span>            :         }
<span class="lineNum">     730 </span>            : 
<span class="lineNum">     731 </span>            :         Derived&amp; operator+=(difference_type n)
<span class="lineNum">     732 </span>            :         {
<span class="lineNum">     733 </span>            :             iterator_core_access::advance(this-&gt;derived(), n);
<span class="lineNum">     734 </span>            :             return this-&gt;derived();
<span class="lineNum">     735 </span>            :         }
<span class="lineNum">     736 </span>            : 
<span class="lineNum">     737 </span>            :         Derived&amp; operator-=(difference_type n)
<span class="lineNum">     738 </span>            :         {
<span class="lineNum">     739 </span>            :             iterator_core_access::advance(this-&gt;derived(), -n);
<span class="lineNum">     740 </span>            :             return this-&gt;derived();
<span class="lineNum">     741 </span>            :         }
<span class="lineNum">     742 </span>            : 
<span class="lineNum">     743 </span>            :         Derived operator-(difference_type x) const
<span class="lineNum">     744 </span>            :         {
<span class="lineNum">     745 </span>            :             Derived result(this-&gt;derived());
<span class="lineNum">     746 </span>            :             return result -= x;
<span class="lineNum">     747 </span>            :         }
<span class="lineNum">     748 </span>            :     };
<span class="lineNum">     749 </span>            : 
<span class="lineNum">     750 </span>            :   } // namespace detail
<span class="lineNum">     751 </span>            : 
<span class="lineNum">     752 </span>            :   //
<span class="lineNum">     753 </span>            :   // iterator_facade - use as a public base class for defining new
<span class="lineNum">     754 </span>            :   // standard-conforming iterators.
<span class="lineNum">     755 </span>            :   //
<span class="lineNum">     756 </span>            :   template &lt;
<span class="lineNum">     757 </span>            :       class Derived             // The derived iterator type being constructed
<span class="lineNum">     758 </span>            :     , class Value
<span class="lineNum">     759 </span>            :     , class CategoryOrTraversal
<span class="lineNum">     760 </span>            :     , class Reference   = Value&amp;
<span class="lineNum">     761 </span>            :     , class Difference  = std::ptrdiff_t
<span class="lineNum">     762 </span>            :   &gt;
<span class="lineNum">     763 </span>            :   class iterator_facade :
<span class="lineNum">     764 </span>            :       public detail::iterator_facade_base&lt;
<span class="lineNum">     765 </span>            :           Derived,
<span class="lineNum">     766 </span>            :           Value,
<span class="lineNum">     767 </span>            :           CategoryOrTraversal,
<span class="lineNum">     768 </span>            :           Reference,
<span class="lineNum">     769 </span>            :           Difference,
<span class="lineNum">     770 </span>            :           detail::is_traversal_at_least&lt; CategoryOrTraversal, bidirectional_traversal_tag &gt;::value,
<span class="lineNum">     771 </span>            :           detail::is_traversal_at_least&lt; CategoryOrTraversal, random_access_traversal_tag &gt;::value
<span class="lineNum">     772 </span>            :       &gt;
<span class="lineNum">     773 </span>            :   {
<span class="lineNum">     774 </span>            :   protected:
<span class="lineNum">     775 </span>            :       // For use by derived classes
<span class="lineNum">     776 </span>            :       typedef iterator_facade&lt;Derived,Value,CategoryOrTraversal,Reference,Difference&gt; iterator_facade_;
<span class="lineNum">     777 </span>            :   };
<span class="lineNum">     778 </span>            : 
<span class="lineNum">     779 </span>            :   template &lt;class I, class V, class TC, class R, class D&gt;
<span class="lineNum">     780 </span>            :   inline typename boost::iterators::detail::postfix_increment_result&lt;I,V,R,TC&gt;::type
<span class="lineNum">     781 </span>            :   operator++(
<span class="lineNum">     782 </span>            :       iterator_facade&lt;I,V,TC,R,D&gt;&amp; i
<span class="lineNum">     783 </span>            :     , int
<span class="lineNum">     784 </span>            :   )
<span class="lineNum">     785 </span>            :   {
<span class="lineNum">     786 </span>            :       typename boost::iterators::detail::postfix_increment_result&lt;I,V,R,TC&gt;::type
<span class="lineNum">     787 </span>            :           tmp(*static_cast&lt;I*&gt;(&amp;i));
<span class="lineNum">     788 </span>            : 
<span class="lineNum">     789 </span>            :       ++i;
<span class="lineNum">     790 </span>            : 
<span class="lineNum">     791 </span>            :       return tmp;
<span class="lineNum">     792 </span>            :   }
<span class="lineNum">     793 </span>            : 
<span class="lineNum">     794 </span>            : 
<span class="lineNum">     795 </span>            :   //
<span class="lineNum">     796 </span>            :   // Comparison operator implementation. The library supplied operators
<span class="lineNum">     797 </span>            :   // enables the user to provide fully interoperable constant/mutable
<span class="lineNum">     798 </span>            :   // iterator types. I.e. the library provides all operators
<span class="lineNum">     799 </span>            :   // for all mutable/constant iterator combinations.
<span class="lineNum">     800 </span>            :   //
<span class="lineNum">     801 </span>            :   // Note though that this kind of interoperability for constant/mutable
<span class="lineNum">     802 </span>            :   // iterators is not required by the standard for container iterators.
<span class="lineNum">     803 </span>            :   // All the standard asks for is a conversion mutable -&gt; constant.
<span class="lineNum">     804 </span>            :   // Most standard library implementations nowadays provide fully interoperable
<span class="lineNum">     805 </span>            :   // iterator implementations, but there are still heavily used implementations
<span class="lineNum">     806 </span>            :   // that do not provide them. (Actually it's even worse, they do not provide
<span class="lineNum">     807 </span>            :   // them for only a few iterators.)
<span class="lineNum">     808 </span>            :   //
<span class="lineNum">     809 </span>            :   // ?? Maybe a BOOST_ITERATOR_NO_FULL_INTEROPERABILITY macro should
<span class="lineNum">     810 </span>            :   //    enable the user to turn off mixed type operators
<span class="lineNum">     811 </span>            :   //
<span class="lineNum">     812 </span>            :   // The library takes care to provide only the right operator overloads.
<span class="lineNum">     813 </span>            :   // I.e.
<span class="lineNum">     814 </span>            :   //
<span class="lineNum">     815 </span>            :   // bool operator==(Iterator,      Iterator);
<span class="lineNum">     816 </span>            :   // bool operator==(ConstIterator, Iterator);
<span class="lineNum">     817 </span>            :   // bool operator==(Iterator,      ConstIterator);
<span class="lineNum">     818 </span>            :   // bool operator==(ConstIterator, ConstIterator);
<span class="lineNum">     819 </span>            :   //
<span class="lineNum">     820 </span>            :   //   ...
<span class="lineNum">     821 </span>            :   //
<span class="lineNum">     822 </span>            :   // In order to do so it uses c++ idioms that are not yet widely supported
<span class="lineNum">     823 </span>            :   // by current compiler releases. The library is designed to degrade gracefully
<span class="lineNum">     824 </span>            :   // in the face of compiler deficiencies. In general compiler
<span class="lineNum">     825 </span>            :   // deficiencies result in less strict error checking and more obscure
<span class="lineNum">     826 </span>            :   // error messages, functionality is not affected.
<span class="lineNum">     827 </span>            :   //
<span class="lineNum">     828 </span>            :   // For full operation compiler support for &quot;Substitution Failure Is Not An Error&quot;
<span class="lineNum">     829 </span>            :   // (aka. enable_if) and boost::is_convertible is required.
<span class="lineNum">     830 </span>            :   //
<span class="lineNum">     831 </span>            :   // The following problems occur if support is lacking.
<span class="lineNum">     832 </span>            :   //
<span class="lineNum">     833 </span>            :   // Pseudo code
<span class="lineNum">     834 </span>            :   //
<span class="lineNum">     835 </span>            :   // ---------------
<span class="lineNum">     836 </span>            :   // AdaptorA&lt;Iterator1&gt; a1;
<span class="lineNum">     837 </span>            :   // AdaptorA&lt;Iterator2&gt; a2;
<span class="lineNum">     838 </span>            :   //
<span class="lineNum">     839 </span>            :   // // This will result in a no such overload error in full operation
<span class="lineNum">     840 </span>            :   // // If enable_if or is_convertible is not supported
<span class="lineNum">     841 </span>            :   // // The instantiation will fail with an error hopefully indicating that
<span class="lineNum">     842 </span>            :   // // there is no operator== for Iterator1, Iterator2
<span class="lineNum">     843 </span>            :   // // The same will happen if no enable_if is used to remove
<span class="lineNum">     844 </span>            :   // // false overloads from the templated conversion constructor
<span class="lineNum">     845 </span>            :   // // of AdaptorA.
<span class="lineNum">     846 </span>            :   //
<span class="lineNum">     847 </span>            :   // a1 == a2;
<span class="lineNum">     848 </span>            :   // ----------------
<span class="lineNum">     849 </span>            :   //
<span class="lineNum">     850 </span>            :   // AdaptorA&lt;Iterator&gt; a;
<span class="lineNum">     851 </span>            :   // AdaptorB&lt;Iterator&gt; b;
<span class="lineNum">     852 </span>            :   //
<span class="lineNum">     853 </span>            :   // // This will result in a no such overload error in full operation
<span class="lineNum">     854 </span>            :   // // If enable_if is not supported the static assert used
<span class="lineNum">     855 </span>            :   // // in the operator implementation will fail.
<span class="lineNum">     856 </span>            :   // // This will accidently work if is_convertible is not supported.
<span class="lineNum">     857 </span>            :   //
<span class="lineNum">     858 </span>            :   // a == b;
<span class="lineNum">     859 </span>            :   // ----------------
<span class="lineNum">     860 </span>            :   //
<span class="lineNum">     861 </span>            : 
<span class="lineNum">     862 </span>            : # ifdef BOOST_NO_ONE_WAY_ITERATOR_INTEROP
<span class="lineNum">     863 </span>            : #  define BOOST_ITERATOR_CONVERTIBLE(a,b) mpl::true_()
<span class="lineNum">     864 </span>            : # else
<span class="lineNum">     865 </span>            : #  define BOOST_ITERATOR_CONVERTIBLE(a,b) is_convertible&lt;a,b&gt;()
<span class="lineNum">     866 </span>            : # endif
<span class="lineNum">     867 </span>            : 
<span class="lineNum">     868 </span>            : # define BOOST_ITERATOR_FACADE_INTEROP(op, result_type, return_prefix, base_op) \
<span class="lineNum">     869 </span>            :   BOOST_ITERATOR_FACADE_INTEROP_HEAD(inline, op, result_type)                   \
<span class="lineNum">     870 </span>            :   {                                                                             \
<span class="lineNum">     871 </span>            :       /* For those compilers that do not support enable_if */                   \
<span class="lineNum">     872 </span>            :       BOOST_STATIC_ASSERT((                                                     \
<span class="lineNum">     873 </span>            :           is_interoperable&lt; Derived1, Derived2 &gt;::value                         \
<span class="lineNum">     874 </span>            :       ));                                                                       \
<span class="lineNum">     875 </span>            :       return_prefix iterator_core_access::base_op(                              \
<span class="lineNum">     876 </span>            :           *static_cast&lt;Derived1 const*&gt;(&amp;lhs)                                   \
<span class="lineNum">     877 </span>            :         , *static_cast&lt;Derived2 const*&gt;(&amp;rhs)                                   \
<span class="lineNum">     878 </span>            :         , BOOST_ITERATOR_CONVERTIBLE(Derived2,Derived1)                         \
<span class="lineNum">     879 </span>            :       );                                                                        \
<span class="lineNum">     880 </span>            :   }
<span class="lineNum">     881 </span>            : 
<span class="lineNum">     882 </span>            : # define BOOST_ITERATOR_FACADE_RELATION(op, return_prefix, base_op) \
<span class="lineNum">     883 </span>            :   BOOST_ITERATOR_FACADE_INTEROP(                                    \
<span class="lineNum">     884 </span>            :       op                                                            \
<span class="lineNum">     885 </span>            :     , boost::iterators::detail::always_bool2                                   \
<span class="lineNum">     886 </span>            :     , return_prefix                                                 \
<span class="lineNum">     887 </span>            :     , base_op                                                       \
<span class="lineNum">     888 </span>            :   )
<span class="lineNum">     889 </span>            : 
<span class="lineNum">     890 </span>            :   BOOST_ITERATOR_FACADE_RELATION(==, return, equal)
<span class="lineNum">     891 </span><span class="lineCov">          2 :   BOOST_ITERATOR_FACADE_RELATION(!=, return !, equal)</span>
<span class="lineNum">     892 </span>            : 
<span class="lineNum">     893 </span>            : # undef BOOST_ITERATOR_FACADE_RELATION
<span class="lineNum">     894 </span>            : 
<span class="lineNum">     895 </span>            : 
<span class="lineNum">     896 </span>            : # define BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS(op, result_type, return_prefix, base_op) \
<span class="lineNum">     897 </span>            :   BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS_HEAD(inline, op, result_type)                   \
<span class="lineNum">     898 </span>            :   {                                                                             \
<span class="lineNum">     899 </span>            :       /* For those compilers that do not support enable_if */                   \
<span class="lineNum">     900 </span>            :       BOOST_STATIC_ASSERT((                                                     \
<span class="lineNum">     901 </span>            :           is_interoperable&lt; Derived1, Derived2 &gt;::value &amp;&amp;                      \
<span class="lineNum">     902 </span>            :           boost::iterators::detail::is_traversal_at_least&lt; typename iterator_category&lt; Derived1 &gt;::type, random_access_traversal_tag &gt;::value &amp;&amp; \
<span class="lineNum">     903 </span>            :           boost::iterators::detail::is_traversal_at_least&lt; typename iterator_category&lt; Derived2 &gt;::type, random_access_traversal_tag &gt;::value \
<span class="lineNum">     904 </span>            :       ));                                                                       \
<span class="lineNum">     905 </span>            :       return_prefix iterator_core_access::base_op(                              \
<span class="lineNum">     906 </span>            :           *static_cast&lt;Derived1 const*&gt;(&amp;lhs)                                   \
<span class="lineNum">     907 </span>            :         , *static_cast&lt;Derived2 const*&gt;(&amp;rhs)                                   \
<span class="lineNum">     908 </span>            :         , BOOST_ITERATOR_CONVERTIBLE(Derived2,Derived1)                         \
<span class="lineNum">     909 </span>            :       );                                                                        \
<span class="lineNum">     910 </span>            :   }
<span class="lineNum">     911 </span>            : 
<span class="lineNum">     912 </span>            : # define BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(op, return_prefix, base_op) \
<span class="lineNum">     913 </span>            :   BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS(                                    \
<span class="lineNum">     914 </span>            :       op                                                            \
<span class="lineNum">     915 </span>            :     , boost::iterators::detail::always_bool2                                   \
<span class="lineNum">     916 </span>            :     , return_prefix                                                 \
<span class="lineNum">     917 </span>            :     , base_op                                                       \
<span class="lineNum">     918 </span>            :   )
<span class="lineNum">     919 </span>            : 
<span class="lineNum">     920 </span>            :   BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&lt;, return 0 &gt;, distance_from)
<span class="lineNum">     921 </span>            :   BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&gt;, return 0 &lt;, distance_from)
<span class="lineNum">     922 </span>            :   BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&lt;=, return 0 &gt;=, distance_from)
<span class="lineNum">     923 </span>            :   BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION(&gt;=, return 0 &lt;=, distance_from)
<span class="lineNum">     924 </span>            : 
<span class="lineNum">     925 </span>            : # undef BOOST_ITERATOR_FACADE_RANDOM_ACCESS_RELATION
<span class="lineNum">     926 </span>            : 
<span class="lineNum">     927 </span>            :   // operator- requires an additional part in the static assertion
<span class="lineNum">     928 </span>            :   BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS(
<span class="lineNum">     929 </span>            :       -
<span class="lineNum">     930 </span>            :     , boost::iterators::detail::choose_difference_type
<span class="lineNum">     931 </span>            :     , return
<span class="lineNum">     932 </span>            :     , distance_from
<span class="lineNum">     933 </span>            :   )
<span class="lineNum">     934 </span>            : 
<span class="lineNum">     935 </span>            : # undef BOOST_ITERATOR_FACADE_INTEROP
<span class="lineNum">     936 </span>            : # undef BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS
<span class="lineNum">     937 </span>            : 
<span class="lineNum">     938 </span>            : # define BOOST_ITERATOR_FACADE_PLUS(args)           \
<span class="lineNum">     939 </span>            :   BOOST_ITERATOR_FACADE_PLUS_HEAD(inline, args)     \
<span class="lineNum">     940 </span>            :   {                                                 \
<span class="lineNum">     941 </span>            :       Derived tmp(static_cast&lt;Derived const&amp;&gt;(i));  \
<span class="lineNum">     942 </span>            :       return tmp += n;                              \
<span class="lineNum">     943 </span>            :   }
<span class="lineNum">     944 </span>            : 
<span class="lineNum">     945 </span>            :   BOOST_ITERATOR_FACADE_PLUS((
<span class="lineNum">     946 </span>            :       iterator_facade&lt;Derived, V, TC, R, D&gt; const&amp; i
<span class="lineNum">     947 </span>            :     , typename Derived::difference_type n
<span class="lineNum">     948 </span>            :   ))
<span class="lineNum">     949 </span>            : 
<span class="lineNum">     950 </span>            :   BOOST_ITERATOR_FACADE_PLUS((
<span class="lineNum">     951 </span>            :       typename Derived::difference_type n
<span class="lineNum">     952 </span>            :     , iterator_facade&lt;Derived, V, TC, R, D&gt; const&amp; i
<span class="lineNum">     953 </span>            :   ))
<span class="lineNum">     954 </span>            : 
<span class="lineNum">     955 </span>            : # undef BOOST_ITERATOR_FACADE_PLUS
<span class="lineNum">     956 </span>            : # undef BOOST_ITERATOR_FACADE_PLUS_HEAD
<span class="lineNum">     957 </span>            : 
<span class="lineNum">     958 </span>            : # undef BOOST_ITERATOR_FACADE_INTEROP_HEAD
<span class="lineNum">     959 </span>            : # undef BOOST_ITERATOR_FACADE_INTEROP_RANDOM_ACCESS_HEAD
<span class="lineNum">     960 </span>            : # undef BOOST_ITERATOR_FACADE_INTEROP_HEAD_IMPL
<span class="lineNum">     961 </span>            : 
<span class="lineNum">     962 </span>            : } // namespace iterators
<span class="lineNum">     963 </span>            : 
<span class="lineNum">     964 </span>            : using iterators::iterator_core_access;
<span class="lineNum">     965 </span>            : using iterators::iterator_facade;
<span class="lineNum">     966 </span>            : 
<span class="lineNum">     967 </span>            : } // namespace boost
<span class="lineNum">     968 </span>            : 
<span class="lineNum">     969 </span>            : #include &lt;boost/iterator/detail/config_undef.hpp&gt;
<span class="lineNum">     970 </span>            : 
<span class="lineNum">     971 </span>            : #endif // BOOST_ITERATOR_FACADE_23022003THW_HPP
</pre>
      </td>
    </tr>
  </table>
  <br>

  <table width="100%" border=0 cellspacing=0 cellpadding=0>
    <tr><td class="ruler"><img src="../../../../glass.png" width=3 height=3 alt=""></td></tr>
    <tr><td class="versionInfo">Generated by: <a href="http://ltp.sourceforge.net/coverage/lcov.php" target="_parent">LCOV version 1.12</a></td></tr>
  </table>
  <br>

</body>
</html>
